$\forall$$P$,$Q$:$\mathbb{P}$. ($P$ $\Rightarrow$ $Q$) $\Rightarrow$ ($Q$ $\Rightarrow$ $P$) $\Rightarrow$ ($P$ $\Leftarrow\!\Rightarrow$ $Q$)